normalization lemma

[数] 正规化引理

热门查询